Electronic design automation - PDFSEARCH.IO - Document Search Engine

Electronic design automation
Results: 1598

#	Item
261	insilicoSim: an Extendable Engine for Parallel Heterogeneous Biophysical Simulations Eric M. Heien Masao Okita Add to Reading List Source URL: www.heien.org Language: English - Date: 2010-06-22 19:31:58 Electronic engineering Cell Parallel computing Simulation software Science Computational science Aggregate Level Simulation Protocol Electronic design automation Operations research Simulation
262	Microsoft Word - DIAS_standalone.doc Add to Reading List Source URL: www.accessible-eu.org Language: English - Date: 2012-03-15 09:35:24 Operations research Simulation Logic simulation Simulation software Emulator Electronic engineering Digital electronics Electronic design automation
263	Gannet: a Scheme for Task-level Reconfiguration of Service-based Systems-on-Chip Wim Vanderbauwhede Department of Computing Science, University of Glasgow, UK wimd s.gla.a .uk Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:21:25 Computer networking Electronic design automation Electronic design Computer network security Packet Processing Scheme Packet switching Multi-core processor Firewall Computing Electronic engineering Electronics
264	Microsoft Word - waveform.doc Add to Reading List Source URL: www.barnardmicrosystems.com Language: English - Date: 2013-11-28 12:37:35 Electronic design automation SPICE Netlist Synthesizer Standard cell Software Electronic engineering Application software
265	MPR-50 Multi-Port Router Quick Start Guide 1. Mount MPR-50 and connect power 1. Mount on 35mm DIN rail, or on wall with screws using key holes on back. 2. Connect earth ground to terminal 3. Add to Reading List Source URL: www.echelon.com Language: English - Date: 2015-04-23 10:08:12 Router LonWorks Technology Echelon Corporation Screw terminal Network switch Electrical engineering Electronic engineering Electronic design automation Routing
266	SimGrid: a Generic Framework for Large-Scale Distributed Experiments Henri Casanova ICS Department, University of Hawai‘i at Manoa Honolulu, USA Add to Reading List Source URL: navet.ics.hawaii.edu Language: English - Date: 2010-05-11 16:21:11 Simulation software Distributed computing SimGrid Electronic design automation Network simulation Grid computing Simulation Web-based simulation PlanetSim Electronic engineering Concurrent computing Computing
267	Journal of Artificial Intelligence Research606 Submitted 11/07; publishedSATzilla: Portfolio-based Algorithm Selection for SAT Lin Xu Add to Reading List Source URL: jair.org Language: English - Date: 2008-07-01 13:34:37 NP-complete problems Logic in computer science Electronic design automation Formal methods Boolean algebra Boolean satisfiability problem Algorithm Computational complexity theory Solver Theoretical computer science Applied mathematics Mathematics
268	Model Checking Using SMT and Theory of Lists Aleksandar Milicevic1 and Hillel Kugler2 1 Massachusetts Institute of Technology (MIT), Cambridge, MA, USA Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-02-19 15:58:07 Electronic design automation Formal methods Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Phase transition Infinite loop FO Theoretical computer science Mathematics Applied mathematics
269	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-05-29 03:59:19 Constraint programming Logic in computer science Automated theorem proving Electronic design automation NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Uninterpreted function Decision problem Theoretical computer science Mathematics Applied mathematics
270	PDF Document Add to Reading List Source URL: www.barnardmicrosystems.com Language: English - Date: 2013-11-28 12:36:50 Electronic design automation Electronic circuit simulation Monolithic microwave integrated circuit SPICE High electron mobility transistor Gallium arsenide Logic simulation Quite Universal Circuit Simulator Electronic engineering Electronics Digital electronics

UPDATE